val insere : int -> 'a array -> unit val tri_insertion : 'a array -> 'a array val minimum_reste : 'a list -> 'a * 'a list val tri_selection : 'a list -> 'a list val une_etape : 'a list -> 'a list
