Jardins, dilatateurs, ß-démontrations et une application en récursion généralisée — Jacqueline Krief Vauzeilles