Depuis le théorème de décomposition de Bogomolov—Beauville, les variétés hyperkählériennes compactes jouent un rôle important en géométrie algébrique. En effet, elles peuvent être considérées comme des briques élémentaires pour classifier les variétés kählériennes dont la première classe de Chern est nulle. D'un autre côté, dans le cadre du programme du modèle minimal, on s'aperçoit qu'il est aussi nécessaire de considérer des variétés singulières pour aboutir à une classification. L'étude des orbifoldes hyperkählériennes s'inscrit, entre autres, dans ces démarches de classification. Les orbifoldes sont définies comme des espaces analytiques complexes admettant uniquement des singularités quotients. Dans cet exposé nous donnerons une vue d'ensemble des récents progrès dans ce domaine.