Le FTSE 100 atteint un record de 10 000 points, tiré par les minières et les banques