Domingo Ravenet (Cuban 1905–1969).