Beginning of the definition of a pervasives module