TOOL: Un langage typé orienté objet puor les bases de données