Qu'est-ce que le halving du bitcoin, et à quelle date a-t-il lieu ?