Salut,
Malgré le fait que les noms des bibliothèques ne se colorent pas, la compilation réussit-elle ? Peut-être que c'est juste la coloration syntaxique qui ne prend pas en charge les bibliothèques d'avr-gcc... Si tu ne trouves pas les fichiers cpp de ces bibliothèques, c'est parce qu'elles sont déjà compilées et contenues dans des fichiers *.a situés dans le répertoire d'avr-gcc.
++