Et si tu utilisais kernel::exit ca ne serait pas plus simple ?