Add a few words to defos.tex

About the naive cotangent complex of a morphism of ringed spaces