_EXTENSION_PHP reste à .php3 en standard mais change de signification: il...

_EXTENSION_PHP reste à .php3 en standard mais change de signification: il indique qu'il faut essayer de lire un fichier avec cette extension si on ne l'a pas trouvé avec l'extension .php; a redefinir a  à terme. 
Par ailleurs, simplification de find_in_path qui n'a plus qu'un seul argument.
A noter que sa liste de repertoires pourrait etre calculée dans une statique au premier appel, s'il n'y avait ces fichus plugins qui en rajoutent une couche tardivement. A mediter