Infoludo 3.1.3

- ajout de la gestion du numéro de port dans les exports FTP (pour les FTP sécurisés)
- ajout de l'option globale "Jeux sur place non payant" dans les préférences