Grinding-milling machines