The category of local algebras and points proches