Stav dette: La structure algebrique des theories mathematiques.