int fileinode (string filename) fileinode() renvoie le numéro d'inode du fichier
filename, ou FALSE en cas d'erreur.
Le résultat de fileinode() est mis en cache.
Reportez-vous à clearstatcache() pour plus de
détails.
fileinode() ne fonctionne pas sur les
fichiers distants.
Les fichiers doivent être accessibles par le système de fichier
du serveur.
