Which one of the following is a source of pulmonary embolism?