Homotopie Rationelle - nidottu, Ranska, 1983