Une extension de navigateur pour un accès facile aux manuels gratuits.
Installez l'extension, tapez 'manuels' dans la barre d'adresse, saisissez un mot-clé, puis appuyez sur 'entrée'.