doc de abstraction