il est temps de revenir à l'ATH
$PROVE #Succincnt @Succinct