La classification des groupes finis simples : bref aperçu et quelques conséquences internes Lluis Puig Séminaire Bourbaki