La touche de raccourci F5 réalise désormais une opération d'actualisation et les modifications non enregistrées seront sauvegardées. ...