Pierre Deligne's SGA 4 1/2