[pfortuny]

I know, yes, but did not want to digress. Thanks though. Actually, it is the "extension" to K[e] with e^2=0, as "usual".

[measurablefunc]

The infinitesimally thickened point.