Contributions de ALDEBERT