annotations rigoureuses Synonym