Abstractions zéro-coût de Rust : ce que la monomorphisation fait vraiment au code