Bonjour Victoria, et merci pour ta réponse
Effectivement via les prefs du menu, il est impossible de l'enlever. D'où ma demande concernant une "bidouille" éventuelle.
Via le terminal j'ai fait un locate mintmenu. Il y a quelques fichiers potentiellement intéressants
/usr/share/glib-2.0/schemas/com.linuxmint.mintmenu.gschema.xml
Il y a 2 blocs contenant "search" :
Code : Tout sélectionner
<key type="s" name="search-command">
<default>"mate-search-tool --named \"%s\" --start"</default>
<summary></summary>
<description></description>
</key>
et
<key type="b" name="enable-internet-search">
<default>true</default>
<summary></summary>
<description></description>
</key>
Mais en enlevant ces 2 blocs et un redémarrage plus tard, cela ne changeait rien.
IL y a aussi dans le dossier "/usr/lib/linuxmint/mintMenu" 2 fichiers en python : mintMenu.py et mintMenuConfig.py
Dans ces 2 fichiers une recherche avec "search" renvoi des choses. Mais il y en a beaucoup, et en plus je ne connais pas du tout python.
En ce qui concerne le menu c'est pour l'installer sur l'ordi d'une amie, qui passe de win à mint. Elle n'est pas très à l'aise avec un ordi et je trouvais que ce me,u, une fois débarrassé du superflu, était vraiment très bien.