[Annexes] Meilleures images et correction d'un bug graphique. En plein
écran, il y a un bug : des fois (1/10 environ) le pointeur reste affiché
à gauche de l'écran. Ce bug est assez ancien et je vois pas d'où ça
vient...