Le compas de proportion, ou Les arpenteurs appelés à l'ordre