Text this: Formalisation mathématique des notions géographiques de base : de l'espace - temps matière au géosystème