Documentation

[AntoineRestivo]

@benoitseron I am wondering if it won't be more efficient to use @docs instead of '@AutoDs'. It depends on a what we exactly want but the former will allow more tunability for sure.