serialisation façon java 7
preferences eclipse modifiées: java 7