A millisecond pulsar