éviter une erreur de casting dans revisions_gis() sur certaines version de PHP...

éviter une erreur de casting dans revisions_gis() sur certaines version de PHP (reste à voir s'il est nécessaire que cette fonction renvoie quelque chose quand ça foire)