[finite-model-theory] SALOME 1 - celebration of the 6th edition of the World Logic Day -