Erdheim–Chester disease in a child