Retrato do Infante D. António Irmão de D. João V.jpg
Portrait of Infante António Francisco of Portugal (1695-1757)
António Francisco Xavier José Bento Teodósio Leopoldo Henrique de Bragança