opérateur borné