L’indice FTSE 100 britannique atteint un niveau record grâce aux performances des minières