Représentations linéaires des groupes finis "algébriques" [d’après Deligne-Lusztig]