Les diamants, des mines de crayon de haute pression