notes sur l ecrasement des pierres pour faire des agregats