Surfaces K3 admettant une action du groupe de Mathieu M20

Il a été montré par Mukai que l'ordre maximum d'un groupe  
fini agissant fidèlement et symplectiquement sur une surface K3 est  
960. De plus, si ce groupe a pour ordre 960, alors il est isomorphe au  
groupe de Mathieu M₂₀. Dans cet exposé, nous allons nous intéresser  
aux surfaces K3 projectives admettant une telle action de M₂₀. Le but  
est de toutes les décrire et de comprendre quand il est possible de  
construire explicitement un modèle projectif. Nous verrons aussi qu'il  
existe un nombre infini de telles surfaces K3.