Géométrie pratique, géométrie savante. Du trait des tailleurs de pierre à la géométrie descriptive