Calcul formel et parallélisme — Gilles Villard