No tenemos la biografía de Jean Devie.