début d'essaie, mais je ne sais pas si correct ou pas!
generic
type void is (<> );
--?
-- je ne sais pas si generic sera appliquer sur les autres types?!
--?
type access_gcS_allocated_heap_ptr is access void;
type bk;
type bk_access is access bk;
type bk is
    record
     gcS_allocated_heap_ptr :  access_gcS_allocated_heap_ptr ;
     --?
     -- ici pour gcS_finalizer je me bloque !!!! 
     --?
     gcS_next_bk : bk_access;
  end record;
 
book_keeping_block : bk;
 
merci d'avance pour votre aide  
a+++
 
 ---------------
			
Merci pour votre aide