oui, mais que penses-tu des suites de Goodstein ?