Ces documents sont également disponibles sur la page de M. Rabaud : http://www.fast.u-psud.fr/~rabaud/