René Pinto may refer to: