OntoEditor 3.1.2

Correction de bugs.