Tricho–rhino–phalangeal syndrome