N°116 : Une méthode formelle