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