Sur la différentiation formelle des traces et des déterminants | Synapse