Aneurysm of the diverticulum of the ductus arteriosus in the adult