cleanhyp:Effacer des hypothses inutiles
contrapose:Contraposer
splitgoal:Montrer un but sparment (quand il y en a plusieurs)
