Synonymesopérateur binaire