Se designará con el nombre de Juan Antonio Lavalleja el parque nacional que se crea por esta ley, y con el nombre de José Artigas, la avenida de acceso mismo.