Merge proposals

Damien APPEL has no merge proposals.