Documents Savoirs Formalismes non classiques pour le traitement informatique de la topologie et de la géométrie discrète, Non classical formalisms for the computing treatment of the topoligy and the discrete geometry Agathe Chollet