Superconductivity and heavy fermions