diff --git a/alib2algo/src/automaton/properties/AllEpsilonClosure.cpp b/alib2algo/src/automaton/properties/AllEpsilonClosure.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/AllEpsilonClosure.cpp
rename to alib2algo/src/automaton/properties/AllEpsilonClosure.cxx
diff --git a/alib2algo/src/automaton/properties/BackwardBisimulation.cpp b/alib2algo/src/automaton/properties/BackwardBisimulation.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/BackwardBisimulation.cpp
rename to alib2algo/src/automaton/properties/BackwardBisimulation.cxx
diff --git a/alib2algo/src/automaton/properties/DistinguishableStates.cpp b/alib2algo/src/automaton/properties/DistinguishableStates.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/DistinguishableStates.cpp
rename to alib2algo/src/automaton/properties/DistinguishableStates.cxx
diff --git a/alib2algo/src/automaton/properties/EpsilonClosure.cpp b/alib2algo/src/automaton/properties/EpsilonClosure.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/EpsilonClosure.cpp
rename to alib2algo/src/automaton/properties/EpsilonClosure.cxx
diff --git a/alib2algo/src/automaton/properties/ForwardBisimulation.cpp b/alib2algo/src/automaton/properties/ForwardBisimulation.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/ForwardBisimulation.cpp
rename to alib2algo/src/automaton/properties/ForwardBisimulation.cxx
diff --git a/alib2algo/src/automaton/properties/InfiniteLanguage.cpp b/alib2algo/src/automaton/properties/InfiniteLanguage.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/InfiniteLanguage.cpp
rename to alib2algo/src/automaton/properties/InfiniteLanguage.cxx
diff --git a/alib2algo/src/automaton/properties/Properties.cpp b/alib2algo/src/automaton/properties/Properties.cpp
new file mode 100644
index 0000000000000000000000000000000000000000..353daee46ef48bf0b82d1e0ac49e7c887753a39a
--- /dev/null
+++ b/alib2algo/src/automaton/properties/Properties.cpp
@@ -0,0 +1,9 @@
+#include "AllEpsilonClosure.cxx"
+#include "BackwardBisimulation.cxx"
+#include "DistinguishableStates.cxx"
+#include "EpsilonClosure.cxx"
+#include "ForwardBisimulation.cxx"
+#include "InfiniteLanguage.cxx"
+#include "ReachableStates.cxx"
+#include "UndistinguishableStates.cxx"
+#include "UsefulStates.cxx"
diff --git a/alib2algo/src/automaton/properties/ReachableStates.cpp b/alib2algo/src/automaton/properties/ReachableStates.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/ReachableStates.cpp
rename to alib2algo/src/automaton/properties/ReachableStates.cxx
diff --git a/alib2algo/src/automaton/properties/UndistinguishableStates.cpp b/alib2algo/src/automaton/properties/UndistinguishableStates.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/UndistinguishableStates.cpp
rename to alib2algo/src/automaton/properties/UndistinguishableStates.cxx
diff --git a/alib2algo/src/automaton/properties/UsefulStates.cpp b/alib2algo/src/automaton/properties/UsefulStates.cxx
similarity index 100%
rename from alib2algo/src/automaton/properties/UsefulStates.cpp
rename to alib2algo/src/automaton/properties/UsefulStates.cxx