diff --git a/tests/irrefutabilite-tiers-exclu.8pus b/tests/irrefutabilite-tiers-exclu.8pus
new file mode 100644
index 0000000..a91967c
--- /dev/null
+++ b/tests/irrefutabilite-tiers-exclu.8pus
@@ -0,0 +1,13 @@
+~~(F \/ ~F)
+intro f.
+cut ~F.
+intro f2.
+cut F \/ ~F.
+assumption.
+right.
+assumption.
+intro f2.
+cut F \/ ~F.
+assumption.
+left.
+assumption.