Merge proposals

Olivier Le Cam has no merge proposals.