attention, avec var_skel, on peut avoir un mauvais mes_fonctions dans le noyau (pris dans l'autre dossier_squelettes); c'est vrai aussi pour d'autres extensions, mais si on se debarrasse totalement du noyau on va beaucoup perdre en perfs... a revoir