Les techniques de Property-Based Testing introduisent généralement de l’aléatoire afin de générer de nombreuses entrées et de tenter de trouver des contre exemples aux faits que nous posons dans nos tests. Il est donc souvent nécessaire de créer des générateurs pour nos entrées