Exercice n°3 : Simplifications assistées