Commit f1a9201564ca07fc73d23ace48627ac37cfd530a

Thomas de Grivel 2025-08-19T13:18:56

rename facts_database to pfacts_init