J'apprends que Michael Rabin vient de décéder.