Laboratoire Mathématiques informatique et applications