strlst/uni @ ef3f55177483628dbf36928873a6c7732a5e1947

strlst ec6d61d94c something something		il y a 3 ans
..
3-sat	7faa790602 added 3-sat curiosity	il y a 3 ans
ue1	ec6d61d94c something something	il y a 3 ans
ue2	1960f3d42a minor addition	il y a 3 ans
ue3	10ec64634b sysver: ue3 added	il y a 3 ans
.gitignore	8de6e33ee3 sysver: ue1	il y a 3 ans