El decreto de designación de un magistrado no es una gracia presidencial, no es una facultad discrecional ni es una moneda de cambio política: es una obligación constitucional