Beyond perturbation 1: De Rham spaces

It is shown that if one uses the notion of ∞-nilpotent elements due to Moerdijk and Reyes, instead of the usual definition of nilpotents to define reduced C∞-schemes, the resulting de Rham spaces are given as quotients by actions of germs of diagonals, instead of the formal neighbourhoods of the diagonals.