INTEGRAL observation of the Crab pulsar