Fred: problème résolu: mon ami a installé kde-devel, qui a en effet pris ce qu'il fallait, et du coup plus besoin d'ajouter un prefix, sauaf qu'il a dû mettre le bashpodder etc dans /usr/local/bin et pas dans son ~/bin; donc resolved. Aldo.