Bonjour, Voici mon problème: J'ai installé une librairie Spot.J'ai installé une deuxième librairie Checkpn qui va s'interfacer avec Spot. Dans la documentation, la commande checkpn avec des option -e -c etc...me permettra d'exécuter mes programmes.Je me suis placé dans le repertoire checkpn-0.0b dans lequel j'ai installé checkpn.Ce repertoire contient un autre repertoire samples qui lui même contient un fichier simple.net. La commande ./checkpn -e -f'!G(B => F CS)' ../samples/simple.net devrait me renvoyer certains resultats. - e et - f étant les options. !G(B => F CS)' étant une formule. A l'exécution j'ai ce resultat: Aucun fichier ou repertoire de ce type. Je me suis dit que peut être que la commande checkpn n'est pas reconnu. Merci d'avance pour vos explications. Cordialement N.B J'ai essayé aussi ./checkpn -e -f'!G(B => F CS)' /samples/simple.net qui ne semble pas marcher aussi _________________________________________________________________ Votre contact a choisi Hotmail, l'e-mail ultra sécurisé. Créez un compte gratuitement ! http://www.windowslive.fr/hotmail/default.asp