Jean Lannes — French mathematician