N°112 : Un peu de formalisme