Documents Sciences formelles Une variété d'expressions des algorithmes pour mieux apprendre à raisonner Jean-Pierre Peyrin