Weil's explicit formula