-+ examples/msg/actions/NAS_LU_S_4/.*
-+ examples/msg/chainsend/generate_deployment_file\.rb
-+ examples/msg/chord/chord3\.xml
-
-+ examples/smpi/MM/command_exemple
-+ examples/smpi/MM/host
-+ examples/smpi/NAS/.*
-
-+ src/simix/README_attempt_without_stack
-+ src/simix/simix_network\.tla