MATHLINE, PLEDRAN, France