avec dix mille tonnes des fabricants de concasseurs de charbon