Merci à vous deux pour vos réponses! J'ai essayé ce matin de le réinstaller, mais je n'ai pas vu de désinstalleur dans le .dmg .
Je vais réessayer ça et je vous tiens au courant.
Parfait ! J'ai réinstallé l'appli, et dans la petite roulette qui représente les réglages, en bas à gauche en tout...