tokens: Tak diragukan lagi bahwa Rivellino merupakan aktor utama dalam prestasi luar biasa yang di tunjukkan oleh Fluminense pada medio 70 - an , dengan julukan " the tricolor machine " , bersama Doval , Pintinho , Gil and Carlos Alberto Torres .