Bonjour à tous

J'ai un problème d'appel système avec la liste des arguments .===> L'appel est bloquant (stdout et le stderr)

gruinda@gruinda-LIFEBOOK-AH532:~/Infothèque/S3/exposé/Compressed/proverif_editor$ ./editor.py
Traceback (most recent call last):
File "./editor.py", line 378, in do_execute
output = subprocess.Popen(["proverif", "-in", "pi", filename], stdout=subprocess.PIPE).communicate()[0]
File "/usr/lib/python2.7/subprocess.py", line 710, in __init__
errread, errwrite)
File "/usr/lib/python2.7/subprocess.py", line 1327, in _execute_child
raise child_exception
OSError: [Errno 2] No such file or directory

Merci d'avance