La actual Constitución de 1980, en su artículo 19.º, también rinde tributo a Infante en su redacción: