énoncé minimal
demi-preuve singulier
rang C
merge résolu, conflit restant avec LMS