[dept87] TROMELIN