Linteau en béton fissuré ou abîmé : Faut-il le réparer ou le remplacer ?