vente de l'extraction du charbon par le propriétaire