The impact of block mining time distribution on the probability of forks. - Thomas Lelièvre; Quentin Bramas (BRAINS, 2024)