Aneurysm of the diverticulum of the ductus arteriosus in the adult. Successful surgical treatment in five patients and review of the literature.