Implementation de BaseInductive