Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs. J.Y., Vauzeilles, J. Girard (1984) Archiv für mathematische Logik und Grundlagenforschung