Comment gerer en edit une valeur random en appuyant sur pushbutton

Version imprimable