OPE: Un langage fonctionnel de manipulation de Bases de Données.