mise au propre, commentaire pour (presque) chaque prédicat