On sous-estime vraiment le menu "aide" de la barre de menu sous MacOS... Dans google chrome, recherche dans ses favoris, dans n'importe quel app, raccourci clavier avec aide visuel, etc...