Enfonce pieux et enfonce piquets : un accessoire (presque) indispensable