Juan Antonio Lavalleja).