Cours de calcul formel — Philippe Saux Picart