IDE Arduino sur Ubuntu 18.04, les doigts dans le nez !

Ce n'est pas la première fois que l'on nous signale un éditeur configuré en externe à l'installation.
Fichier preference vérolé dans l'IDE arduino ?