autorisation_phpinfo

en l'état l'autorisation autoriser_phpinfos() est bidon puisque dans le seul endroit qui la nécessiterait (la fonction exec_info_dist()) l'autorisation testée est :

if (autoriser('webmestre')) {

et non pas

if (autoriser('phpinfos')) {

Une fois cette anomalie historique corrigée, on aura profit de passer la fonction d'autorisation en _dist afin de pouvoir la surcharger (typiquement pour un admin de mutu un peu parano qui ne veut pas donner à voir les infos à n'importe quel webmestre).