Specifications for the A1 ISEP project of Java : Trackmania Paper