* @returns two list, the first contains at least n elements, the second the
* remaining ones
* @raise Failure when List.length l < n *)
* @returns two list, the first contains at least n elements, the second the
* remaining ones
* @raise Failure when List.length l < n *)