Nous mangons à midi au resto-U.