une mine de la taille de la malaisie