Th\'eor\`eme de de Smit et Lenstra, d\'emonstration \'el\'ementaire

We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that “completely secant” implies “1-secant”