Cruveilhier-Baumgarten disease.