Optimisation des appels a charger_fonction()

Permet de passer de 914 à 140 appels dans un hit de l'accueil de l'espace privé, et de 2.6% à 0.7% du temps consommé dans le hit (pour 65 fichiers différents recherchés)
Complété par 2 commits sur extensions revisions et textwheel

+ corrige un bug sur la memorisation des echecs de charger_fonction dont on ressortait trop vite : il ne faut pas rechercher les fichiers sur le disque, mais quand meme verifier la présence des fonctions en mémoire, qui ont pu arriver par une inclusion externe.