Thanks for your answer. The selinux module is actually from camptocamp. Mine is a fork, but you're right, I should test voxpopuli'. At the time at which I needed an SELinux module, I needed SELinux ports support, which, I think, wasn't supported by voxpopul's (or its ancestor), so I chose camptocamp's. I realize that I "lost" many hours to improve camptocamp's module while a switch to voxpopuli was the right thing to do. At least it gave me more experience with contributing to puppet modules. camptocamp's module is simpler than voxpopuli, so it's more accessible to me.
Now I have some testing to do :).
Thanks!