@zing Salut, et merci d'avoir essayé d'aider.
En l'occurrence, les liens n'ont rien donné de concluant, mais pour ceux que ça intéresserait, j'ai trouvé un moyen de lancer Kodi avec la télécommande (en appuyant sur le bouton OK) sans avoir à passer par la manette, ce qui était l'objectif principal.
Dans es_input.cfg, j'ai rajouté la ligne
<input name="x" type="key" id="13" value="1" code="168" />
"x" étant la touche servant à démarrer Kodi et "13" la correspondance sur ma télécommande.
Pour trouver l'id de la touche, je suis passé par Keymapper, sur PC.
Comme ça, toute la famille peut aller directement dans Kodi sans faire 36 manips.