n°4 : Utiliser le calcul littéral pour résoudre et démontrer