ajout du principe et de la formule