homepage: only show Inria telephone number