Groupes et algèbres de Lie 9 — Nicolas Bourbaki