Translations:Getting started with KAlgebra/14/fr

fact:=n->piecewise { n=0 ? 1, n=1 ? 1, ? n*fact(n-1) }