Magic number

Entier positif utilisé comme nombre magique de suiveur lorsque Personnalisé est sélectionné. La valeur est inactive dans les autres modes de nombres magiques.