Pātuhitia tēnei: La structure algébrique des théories mathématiques