Mathematical Structuralism à la Grothendieck