¿Qué tipo de juicio debe llevarse a cabo cuando existe el incumplimiento de pago de un contrato celebrado con dependencias de gobierno?