Sur la taille de la pierre antique, médiévale et moderne — Pierre Varène