corrige une notice php qui cachait un bug au niveau des convertions de types en integer (merci bruno)
Changed paths: