les fichiers java fournis