l ecrasement d un diamant avec un marteau