petro contra duque