Le complexe cotangent d’un 1-morphisme de champs algébriques

(17.1) Pour tout morphisme de topos anneles X→Y, Illusie a defini dans ([II] II, 1.2) le complexe cotangent de X sur Y.