Carrières de pierre et techniques d’extraction. La pierre de Caen