Régularisation d'opérateurs