ajout de formule et du principe