¿Qué príncipe fue legendario en Troya y héroe de la 'Eneida' de Virgilio?