Il s'agit en fait de pico-bin.linux
???
$ file pico-bin.linux Ca te donne le type du fichier (j'imagine que c'est un binaire vu le nom... Si oui tu fais un chmod +x pico-bin.linux puis ./pico-bin.linux pour le lancer).
cool, merci