This history was extracted from one of the repositories of the PACLIDO
project[1].  I  could not find  a way  to extract this  history simply
with "git subtree split", maybe  because the FELICS-AE folder has been
renamed a few times in this previous repository.

Instead, I came up with the following script:

    #!/bin/bash

    ignored=(
        # List of folders unrelated to FELICS-AE.
    )

    git_rm="git rm -r --cached --ignore-unmatch ${ignored[@]}"

    git filter-branch                               \
         --index-filter "${git_rm}"                 \
         --tag-name-filter cat                      \
         --prune-empty --force                      \
         -- --all

[1]: https://paclido.fr