Bonjour, Est-il possible d'éditer le fichier hosts pour y apporter des modifications sans passer par le terminal ?