définition du laveur de charbon