eclipse.preferences.version=1 encoding//lib/Combattant.py=utf-8 encoding//lib/Plateau.py=utf-8 encoding/DMonde.py=utf-8