Des théories du compas au compas de théories