[ Comparison between crystalline cohomology and $p$-adic étale cohomology on certain Shimura varieties ]