Syntaxe pour créer une "mixin" "border" qui permet de donner une bordure rouge à largeur variable ($width)?
