Hensélisation

L'anneau local hensélien minimal A^h associé à un anneau local (A,m), obtenu par un procédé universel, local et essentiellement étale qui rend vraie la lemmes de Hensel ; concrètement A^h est initial parmi les homomorphismes locaux de A vers des anneaux locaux henséliens et peut se construire comme colimite filtrée de voisinages étales.