Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification"