Lemme d'Artin–Rees, théorème d'Izumi et fonction de Artin