Known as: mounting for push-button