Las opciones que tendría Petro contra la decisión del procurador