Le développement de systèmes en B a été illustré par des exemples traitant des problèmes complexes comme les applications réparties. Cette méthodologie fondée sur le raffinement de systèmes peut être appliquée avec succès au développement de programmes récursifs. La question d'un tel développement se pose dans les cours d'algorithmique et nous illustrons une telle approche dans le cas de quelques algorithmes récursifs classiques. Non seulement un traitement méthodologique est appliqué mais le développement intègre la théorie du point-fixe sous-jacente à la justification de tels solutions algorithmiques comme la fonction factorielle, la fonction puissance ou des schémas récursifs. || The B system development has addressed the modeling of complex systems like distributed systems. The B system approach is based on the refinement and can be applied to the development of classical recursive programs. Lectures in algorithmics tackle the