Groupes de Lie compacts, groupes de Lie semi-simples — Jean Dieudonné