correctifs assert