What is a tremolo effect, such as that produced on the piano by vibratory repetition of a note with sustained use of the pedal called?

bebung — A tremolo effect, such as that produced on the piano by vibratory repetition of a note with sustained use of the pedal. (Webster's 1913.)

Sources